1

Probabilistic algorithm for testing primality

Année:
1980
Langue:
english
Fichier:
PDF, 634 KB
english, 1980
2

Recursive Unsolvability of Group Theoretic Problems

Année:
1958
Langue:
english
Fichier:
PDF, 1.62 MB
english, 1958
3

A logic to reason about likelihood

Année:
1987
Langue:
english
Fichier:
PDF, 1.34 MB
english, 1987
7

Real time computation

Année:
1963
Langue:
english
Fichier:
PDF, 499 KB
english, 1963
8

Probabilistic Algorithms in Finite Fields

Année:
1980
Langue:
english
Fichier:
PDF, 1017 KB
english, 1980
12

Fast evaluation of polynomials by rational preparation

Année:
1972
Langue:
english
Fichier:
PDF, 1.06 MB
english, 1972
13

Randomized algorithms in number theory

Année:
1986
Langue:
english
Fichier:
PDF, 832 KB
english, 1986
14

Linear-Consistency Testing

Année:
2001
Langue:
english
Fichier:
PDF, 191 KB
english, 2001
15

Maximum matchings in general graphs through randomization

Année:
1989
Langue:
english
Fichier:
PDF, 679 KB
english, 1989
17

Proving simultaneous positivity of linear forms

Année:
1972
Langue:
english
Fichier:
PDF, 581 KB
english, 1972
24

On Recursively Enumerable and Arithmetic Models of Set Theory

Année:
1958
Langue:
english
Fichier:
PDF, 268 KB
english, 1958
25

The Word Problem for Groupsby J. L. Britton;The Word Problemby John L. Britton

Année:
1964
Langue:
english
Fichier:
PDF, 319 KB
english, 1964
34

Blunt Traumatic Injury to the Aortic Root and Aortic Valve

Année:
2018
Langue:
english
Fichier:
PDF, 337 KB
english, 2018
43

Transaction protection by beacons

Année:
1983
Langue:
english
Fichier:
PDF, 792 KB
english, 1983
46

Clock construction in fully asynchronous parallel systems and PRAM simulation

Année:
1994
Langue:
english
Fichier:
PDF, 2.13 MB
english, 1994
47

The problem of absolute stability: a dynamic programming approach

Année:
2004
Langue:
english
Fichier:
PDF, 267 KB
english, 2004